منابع مشابه
Retractable Contracts
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with s...
متن کاملRetractable roof structures
j This paper presents a new concept for retractable roof structures. The new structures consist of a foldable lattice of beams connected by cylindrical joints, to which covering panels or membranes are attached. These structures fold towards their perimeter and there is practically no limit to their shape. Solutions to the key problems that have to be solved in the course of the kinematic desig...
متن کاملErratum: Applications of epi-retractable and co-epi-retractable modules
In this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.
متن کاملTuning retractable, microscale, membrane-breaking protein needles
10 The refractile (R) bodies found in Caedibacter taeniospiralis, a bacterial endosymbiont of Paramecium 11 tetraurelia, are large, polymeric protein structures that can switch between two conformations. At 12 cytoplasmic pH, they resemble coiled ribbons of protein 500nm in diameter. At low pH, they extend to 13 form hollow needles up to 20 microns long. They can be expressed heterologously fro...
متن کاملRetractable Contract Network for Distributed Scheduling
This paper is about distributed scheduling where individual agents have potentially conflicting interests. It is motivated by BT’s workforce scheduling problem, where multiple service providers have to serve multiple service buyers. The service providers and buyers all attempt to maximize their own utility. The overall problem is a multi-objective optimization problem; for example, one has to m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.203.5